More efficient way to copy file line by line in python